MODULE t1;
IMPORT Out, In, Math;
VAR x : INTEGER;
PROCEDURE F(VAR x : INTEGER);
BEGIN

END F;

BEGIN
x := 10;
IF x > 1 THEN x := 2 END;
F(x+1);
Out.Int(x, 10)
END t1.

(*
org.antlr.runtime.tree.RewriteEmptyStreamException: rule procedureBody
	at org.antlr.runtime.tree.RewriteRuleElementStream._next(RewriteRuleElementStream.java:157)
	at org.antlr.runtime.tree.RewriteRuleElementStream.nextTree(RewriteRuleElementStream.java:144)
	at ru.msu.cmc.sp.oberon2.InterParser.procedureDeclaration(InterParser.java:4366)
	at ru.msu.cmc.sp.oberon2.InterParser.declarationSequence(InterParser.java:4805)
	at ru.msu.cmc.sp.oberon2.InterParser.obmodule(InterParser.java:217)
	at ru.msu.cmc.sp.oberon2.Oberon2.analysis(Oberon2.java:16)
	at ru.msu.cmc.sp.oberon2.Oberon2.main(Oberon2.java:47)
*)